Formal definitions of behavioural compatibility for active and passive objects
نویسنده
چکیده
The modular reenement of object-oriented specii-cations requires a sound theory of behavioural compatibility of classes. Such a theory will depend on the way in which objects of a class interact with their environment. This paper deenes two notions of behavioural compatibility. Observational compatibility is relevant when an active object is placed within a passive environment and operational compatibility when a passive object is placed in an active environment. Rules for maintaining each type of behavioural compatibility through inheritance are also presented.
منابع مشابه
Behaviour Compatibility and Specification for Active Objects
Specification of behaviour A test in a suitable language could be used as a way to abstractly specify the behaviour of an object. Although most experiments could eventually be expressed as a CCS experimenter interacting with the agent representing the behaviour of a class, a higher level language would be desirable. In order to be useful a test language should subsume high level features such a...
متن کاملWhen are Two Web Services Compatible?
Whether two web services are compatible depends not only on static properties like the correct typing of their message parameters, but also on their dynamic behaviour. Providing a simple description of the service behaviour based on process-algebraic or automata-based formalisms can help detecting many subtle incompatibilities in their interaction. Moreover, this compatibility checking can to a...
متن کاملIntegrating actions into object location memory: a benefit for active versus passive reaching movements.
We tested whether learning the mapping between objects and their locations is better when actively moving the hand to these locations, to reveal the object, compared to when the hand is passively moved by a robotic manipulandum. Recall of object locations was more accurate in the active compared to passive condition. We also found that recall was less accurate when participant made active movem...
متن کاملMetamodelling Behavioural Aspects: the Case of the UML State Machines
The “object-oriented meta-modeling” seems currently to be one of the most promising approach to the “precise” definition of UML. Essentially this means using a kernel object-oriented visual notation to define UML. This has proved itself to be an intuitive way of defining the abstract syntax of UML. For what concerns the “static part”, the initial work of the pUML group seems to confirm that the...
متن کاملFormalising Behavioural Compatibility for Reactive Object-oriented Systems
In order to develop formal methods for the design, analysis and implementation of object-oriented systems it is essential to formalise the underlying object-oriented concepts. At present, most object-oriented concepts are treated informally, or are deened with reference to a particular language. The aim of this paper is to present a formal view of behavioural compatibility for classes which is ...
متن کامل